翻訳と辞書 |
Carl Hewitt
Carl Eddie Hewitt () is a computer scientist who designed the Planner programming language for automated planning〔Carl Hewitt. (''PLANNER: A Language for Proving Theorems in Robots'' ) IJCAI. 1969.〕 and the Actor model of concurrent computation, which have been influential in the development of both logic programming and object-oriented programming. Planner was the first programming language based on procedural plans invoked using pattern-directed invocation from assertions and goals. The Actor model influenced the development of the Scheme programming language and the π calculus, and served as an inspiration for several other programming languages. His publications also include contributions in the areas of open information systems, organizational and multi-agent systems, logic programming,〔 concurrent programming languages, direct inference and client cloud computing. ==Education and career== Hewitt obtained his PhD in mathematics at MIT in 1971, under the supervision of Seymour Papert, Marvin Minsky, and Mike Paterson. Hewitt started his employment at MIT in 1971. He retired from the faculty of the MIT Department of Electrical Engineering and Computer Science during the 1999-2000 school year. Among the doctoral students that Hewitt supervised during his time at MIT are Professor Gul Agha, Dr. Henry Baker, Professor William Clinger, Dr. Irene Greif, and Professor Akinori Yonezawa. From September 1989 to August 1990, Hewitt was the ''IBM Chair Visiting Professor'' in the Department of Computer Science at Keio University in Japan. He has been a Visiting Professor at Stanford University. In 2000, he became emeritus in the EECS department at MIT.〔(【引用サイトリンク】url=http://www.stanford.edu/class/ee380/Abstracts/081022.html )〕
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Carl Hewitt」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|